1. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
L28
Vol
.
90
2. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Automatic theorem proving,Data processing ، Mathematics
رده :
QA
76
.
9
.
A96
.
S36
1980
3. Using sophisticated models in resolution theorem proving
پدیدآورنده : Sandford, David M.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Automatic theorem proving,، Mathematics - Data processing
رده :
QA
76
.
L4
v
.
90
